type theory

n. 类型论
[网络] 类型理论;型态理论;类理论